Bélair, Luc: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Cori René et Lascar Daniel. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p.Cori René et Lascar Daniel. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p.

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 351 KB

1995

2

Pseudovaluation domains with vapnik-chervonenkis classes of definable sets

Journal:

Communications in Algebra

Year:

2000

Language:

english

File:

PDF, 372 KB

english, 2000

3

Model Theory of the Frobenius on the Witt Vectors

Luc Bélair, Angus Macintyre and Thomas Scanlon

Journal:

American Journal of Mathematics

Year:

2007

Language:

english

File:

PDF, 6.11 MB

english, 2007

4

Model theory of the Frobenius on the Witt vectors

Bélair, Luc, Macintyre, A. (Angus), Scanlon, Thomas

Journal:

American Journal of Mathematics

Year:

2007

Language:

english

File:

PDF, 752 KB

english, 2007

5

La logique des parties fractionnaires de nombres réels

Bélair, Luc, Point, Françoise

Journal:

Comptes Rendus Mathematique

Year:

2016

Language:

french

File:

PDF, 239 KB

french, 2016

6

Approximation for Frobenius algebraic equations in Witt vectors

Journal:

Journal of Algebra

Year:

2009

Language:

english

File:

PDF, 227 KB

english, 2009

7

Dependence on parameters in analogues of hilberts seventeenth problem

Bélair, Luc, Haskell, Deirdre

Journal:

Communications in Algebra

Year:

1996

Language:

english

File:

PDF, 552 KB

english, 1996

8

Fonctions rationnelles aux différences à valeurs entières dans les vecteurs de Witt

Journal:

Comptes Rendus Mathematique

Year:

2004

Language:

french

File:

PDF, 100 KB

french, 2004

9

18F-FDG-PET imaging in radiotherapy tumor volume delineation in treatment of head and neck cancer

Guila Delouya, Levon Igidbashian, Annie Houle, Manon Bélair, Luc Boucher, Christian Cohade, Sylvain Beaulieu, Édith J. Filion, Geneviève Coulombe, Martin Hinse, Charles Martel, Philippe Després, Phuc

Journal:

Radiotherapy and Oncology

Year:

2011

Language:

english

File:

PDF, 400 KB

english, 2011

10

Ensembles reconnaissables de séries formelles sur un corps fini

Bélair, Luc, Gélinas, Maxime, Point, Françoise

Journal:

Comptes Rendus Mathematique

Year:

2016

Language:

french

File:

PDF, 257 KB

french, 2016

11

Anneaux de Fonctions p-Adiques

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 356 KB

1995

12

La définissabilité des entiers dans les corps de courbes réelles archimédiens

Journal:

Comptes Rendus Mathematique

Year:

2003

Language:

french

File:

PDF, 79 KB

french, 2003

13

Infinitesimally stable theories of henselian rings

Journal:

Journal of Pure and Applied Algebra

Year:

1993

Language:

english

File:

PDF, 516 KB

english, 1993

14

Corrigendum to: “Quantifier elimination in valued Ore modules”

Bélair, Luc, Point, Françoise

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 240 KB

english, 2012

15

Fractional parts of dense additive subgroups of real numbers

Bélair, Luc, Point, Françoise

Journal:

Algebra Universalis

Year:

2018

Language:

english

File:

PDF, 639 KB

english, 2018

16

Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt

Luc Bélair, Françoise Point

Journal:

Comptes Rendus Mathematique

Year:

2008

Language:

french

File:

PDF, 125 KB

french, 2008

17

SEPARABLY CLOSED FIELDS AND CONTRACTIVE ORE MODULES

BÉLAIR, LUC, POINT, FRANÇOISE

Journal:

Journal of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 285 KB

english, 2015

18

Anneaux p-adiquement clos et anneaux de fonctions définissables

Journal:

Journal of Symbolic Logic

Year:

1991

File:

PDF, 361 KB

1991

19

Quantifier elimination in valued Ore modules

Bélair, Luc, Point, Françoise

Journal:

Journal of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 1.75 MB

english, 2010

20

Definissabilite dans les Corps de Fonctions p-Adiques

Luc Bélair and Jean-Louis Duret

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 347 KB

english, 1991

21

Substructures and uniform elimination for p-adic fields

Journal:

Annals of Pure and Applied Logic

Year:

1988

Language:

english

File:

PDF, 1.09 MB

english, 1988

22

Indécidabilité des corps de courbe réelle

Bélair, Luc, Duret, Jean-Louis

Journal:

Journal of Symbolic Logic

Year:

1994

File:

PDF, 435 KB

1994

23

Tangent Linear Aspects of the Kain–Fritsch Moist Convective Parameterization Scheme

Fillion, Luc, Bélair, Stéphane

Journal:

Monthly Weather Review

Year:

2004

Language:

english

File:

PDF, 462 KB

english, 2004

24

Équations aux différences dans les vecteurs de Witt

Journal:

Comptes Rendus Mathematique

Year:

2005

Language:

french

File:

PDF, 102 KB

french, 2005

25

Definissabilite dans les Corps de Fonctions $p$-Adiques

Belair, Luc, Duret, Jean-Louis

Journal:

Journal of Symbolic Logic

Year:

1991

File:

PDF, 336 KB

1991

26

L'automorphisme de Frobenius des vecteurs de Witt

Luc Bélair, Angus Macintyre

Journal:

Comptes Rendus de l'Académie des Sciences - Series I - Mathematics

Year:

2000

Language:

french

File:

PDF, 135 KB

french, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски